#![allow(dead_code, unused_imports, non_snake_case, non_upper_case_globals, non_camel_case_types)]


include!("../rtx_os.rs");
